Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
321	École Doctorale de l’École polytechnique I NRIA THÈSE DE DOCTORAT Présentée par Add to Reading List Source URL: cedeela.fr Language: English - Date: 2015-10-28 05:35:30 Mathematical logic Mathematics Logic Boolean algebra First-order logic Propositional calculus FO Quantifier Boolean satisfiability problem True quantified Boolean formula Model theory Peano axioms
322	A Survey of the Multiplier Conjecture Daniel M. Gordon IDA Center for Communications Research 4320 Westerra Court San Diego, CAUSA Add to Reading List Source URL: www.ntu.edu.sg Language: English - Date: 2015-09-30 04:43:58 Mathematics Algebra Abstract algebra Combinatorics Number theory Difference set Multiplier Divisor Abelian group Ring Order Cyclotomic polynomial
323	List Update Posets Draft, February 6, 1996 (Appendix added December, 2004) Susanne Albers 1 , Bernhard von Stengel 2 , Ralph Werchner 3 Add to Reading List Source URL: www.maths.lse.ac.uk Language: English - Date: 2004-12-09 18:35:18 Order theory Mathematics Structure Abstraction Partially ordered set List update problem Representation Ordinal optimization FishburnShepp inequality
324	A Game on towers David Chodounsk´y Charles University in Prague June 5, 2010 Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-05 23:00:07 Operator theory Complex analysis Riemann surfaces Filter General topology Order theory Ordinal number Differential forms on a Riemann surface Modulus of continuity
325	Applications of Proof Interpretations Philipp Gerhardy PhD Dissertation Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2006-09-13 09:52:38 Logic Mathematics Abstraction Model theory Mathematical logic Proof theory Constructivism Jacques Herbrand Proof mining Term algebra First-order logic Fixed-point theorem
326	The Logic of Stone Spaces John Harding and Guram Bezhanishvili New Mexico State University www.math.nmsu.edu/JohnHarding.html Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-05 23:03:42 Mathematics Algebra Structure General topology Abstract algebra Modal logic Order theory Boolean algebra Interior algebra Closure Preorder Topological space
327	Reverse Mathematics and a Weak Ramsey-Type K¨onig’s Lemma Ludovic Patey Laurent Bienvenu Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:41:23 Mathematics Logic Mathematical logic Proof theory Abstraction Computability theory Reverse mathematics Second-order arithmetic Theorem Lemma
328	Improving interval enclosures Arnold Neumaier Fakult¨at f¨ ur Mathematik, Universit¨at Wien Nordbergstr. 15, A-1090 Wien, Austria email: Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2015-07-18 03:53:37 Real analysis Order theory Numerical analysis Functions and mappings Functional analysis Monotonic function Interval arithmetic Limit of a function Convex function Interval Affine arithmetic Taylor series
329	A note on the factorization scale dependence of the PQCD predictions for exclusive processes arXiv:hep-ph/0107311v5 15 FebB. Meli´c∗ Add to Reading List Source URL: fulir.irb.hr Language: English - Date: 2013-05-17 07:36:30 Physics Theoretical physics Quantum field theory Mathematical physics Renormalization group Renormalization Order Logarithm
330	On Derandomization and Average-Case Complexity of Monotone Functions ∗ George Karakostas † Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2013-12-01 18:41:47 Circuit complexity Pseudorandomness Order theory Computational complexity theory Monotonic function Pseudorandom generator Parity function Monotone ACC0

UPDATE